A mapping system from Object-Z to C++
نویسندگان
چکیده
Object-Z is an extension of the formal specification language Z, augmenting the class concept as a structuring facility. This paper introduces and discusses a structural mapping sys tem f r o m Object-Z to the programming language C++, and reports on its implementat ion o n UNIX. The structural mapping translates an Object-Z specification consisting of classes into class interfaces of C++ such as data members and prototypes of member functions. Thus it is not intended as a code generation system, but rather as a tool for analyzing specification (including syntax and type checking) and for aiding a software developer in obtaining code. Through the implementation of the mapping sys tem several language features of Object-Z and C++ concerning object-orientation are clarified.
منابع مشابه
Generating Python Code From Object-Z Specifications
Object-Z is an object-oriented specification language which extends the Z language with classes, objects, inheritance and polymorphism that can be used to represent the specification of a complex system as collections of objects. There are a number of existing works that mapped Object-Z to C++ and Java programming languages. Since Python and Object-Z share many similarities, both are object-ori...
متن کاملFixed point theorem for non-self mappings and its applications in the modular space
In this paper, based on [A. Razani, V. Rako$check{c}$evi$acute{c}$ and Z. Goodarzi, Nonself mappings in modular spaces and common fixed point theorems, Cent. Eur. J. Math. 2 (2010) 357-366.] a fixed point theorem for non-self contraction mapping $T$ in the modular space $X_rho$ is presented. Moreover, we study a new version of Krasnoseleskii's fixed point theorem for $S+T$, where $T$ is a cont...
متن کاملAnalysis Accruing of Sentinel 2A Image’s Classification Methods Based on Object Base and Pixel Base in Flood Area Zoning of Taleqan River
Flood zonation mapping is one of the priorities for the soil and water management, which Remote Sensing (RS) capabilities are very applicable to this issue. The main objective of this research was study of accuracy of the Object oriented and Pixel based methods for flood zonation mapping in the Taleghan River basin. Therefore, the Sentinel 2A satellite image of the study area classified using s...
متن کاملUsing a Novel Concept of Potential Pixel Energy for Object Tracking
Abstract In this paper, we propose a new method for kernel based object tracking which tracks the complete non rigid object. Definition the union image blob and mapping it to a new representation which we named as potential pixels matrix are the main part of tracking algorithm. The union image blob is constructed by expanding the previous object region based on the histogram feature. The pote...
متن کاملParabolic starlike mappings of the unit ball $B^n$
Let $f$ be a locally univalent function on the unit disk $U$. We consider the normalized extensions of $f$ to the Euclidean unit ball $B^nsubseteqmathbb{C}^n$ given by $$Phi_{n,gamma}(f)(z)=left(f(z_1),(f'(z_1))^gammahat{z}right),$$ where $gammain[0,1/2]$, $z=(z_1,hat{z})in B^n$ and $$Psi_{n,beta}(f)(z)=left(f(z_1),(frac{f(z_1)}{z_1})^betahat{z}right),$$ in which $betain[0,1]$, $f(z_1)neq 0$ a...
متن کامل